You have chosen Eubulides, Saul A. Kripke and Saul A. Kripke.
All three must be different; choose another philosopher.